关于实质本源蕴涵项的识别问题

本文揭示ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。     

求多输出函数质蕴涵的一种方法

运用布尔矩阵运算的方法对确定多输出函数的质蕴涵进行了研究，并通过示例说明了这种方法的运算程序。     

一类素因子分解FFT算法

提出了一类新的素因子分解ＦＦＴＸ法（ＰＦＡ）．该算法可以用非同址的方式实现，也可以用同址的方式实现；既可以输入输出皆为同一顺序而不需要混序，也可以输入输出不为同一顺序而需要混序．同时，还具有新的算法结构，在计算每一维的小数ＤＦＴ时，需要变换数据模块的地址．理论分析与计算机仿真实验证明，与传统ＰＦＡ相比，本文算法可无需混序操作，易于扩展，可同址运算和顺序输入输出，能节省存贮量，提高运算速度。     

关于Diophantine方程x^3±8=3Dy2

利用初等数论的方法证明了：如果D是适合D≡5（mod8）的奇素数,则方程x3＋8=3Dy2无正整数解;如果D是适合D≡7（rood8）的奇素数,则方程x3-8=3Dy2无正整数解。     

π（x）问题的一种算法

利用改进后的Eratosthenes筛法或称台阶筛法,给出了π(x)问题的一种算法.     

关于丢番图方程x~4+2py~4=z~2

利用初等方法给出了丢番图方程x4+2py4=z2,(x,y)=1当p=7时的全部正整数解,从而拓展了Mordell关于x4+2py4=z2的结果。     

High efficiency blue PhOLEDs using spiro-annulated triphenylamine/fluorene hybrids as host materials with high triplet energy,high HOMO level and high Tg

Two spiro-annulated triphenylamine/fluorene oligomers, namely 4′-(9,9′-spirobifluoren-4-yl)-10-phenyl-10H-spiro[acridine-9,9′-fluorene] (NSF-SF), and 4,4′-di(spiro(triphenylamine-9,9′-fluorene)-2-yl)-spiro(triphenylamine-9,9′-fluorene) (NSF-NSF), are designed and synthesized. Their thermal, electrochemical and photophysical properties were investigated. The introduction of spiro-annulated triphenylamine moieties assurances the high HOMO energy levels of NSF-NSF and NSF-SF at −5.31 eV and −5.33 eV, respectively, which accordingly facilitates the hole injection from nearby hole-transporting layer. Meanwhile, the perpendicular arrangement of the spiro-conformation and the full ortho-linkage effectively prevents the extension of the π-conjugation and consequently guarantees their high triplet energies of 2.83 eV. Phosphorescent organic light-emitting devices (PhOLEDs) with the configurations of ITO/MoO₃/TAPC/EML/TmPyPB/LiF/Al were fabricated by using the two compounds as host materials and bis[2-(4′,6′-difluorophenyl)pyridinato-N,C^2′]iridium(III) picolate (FIrpic) as the dopant. The turn-on voltage of the device B based on NSF-NSF was 2.8 V. Simultaneously, the device exhibited excellent performance with the maximum current efficiency of 41 cd A⁻¹, the maximum power efficiency of 42 lm W⁻¹ and the maximum external quantum efficiency (EQE) of 19.1%. At a high brightness of 1000 cd m⁻², the device remained EQE of 16.2% and the roll-off value of external quantum efficiency is 15%.     

具有高概率的整数分解量子算法

本文基于量子Fourier变换给出了一个新的整数分解量子算法,通过利用多次量子Fourier变换和变量代换,使得r变成相位因子(r是从模N整数环中所选元素的阶),进而可使非零的非目标态的几率幅变为零,算法成功的概率大于3/4,高于Shor整数分解量子算法,且不再依赖于,的大小(Shor算法成功的概率依赖于r的大小),同...     

DTMB接收机中3780点FFT处理器的设计

提出了一种适合于DTMB接收机使用的FFT处理器的设计方法.该处理器基于混合基算法,素因子分解法和WFTA算法,采用动态截位法来保证精度与减小功耗和面积.FPGA验证表明：在输入输出均为13位时,该处理器的信噪比达到了60.4dB,运行最高频率达到84.48MHz,满足了DTMB接收机对FFT处理器的精度要求和速度要求.